1. Blueprints for high availability
Author: / Evan Marcus, Hal Stern
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Electronic data processing- Distributed processing,System design
Classification :
QA76
.
9
.
D5
,
M357
2003
2. Blueprints for high availability
Author: Marcus, Evan
Library: Library of Niroo Research Institue (Tehran)
Subject: Distributed processing ، Electronic data processing,، System design
Classification :
QA
76
.
9
.
D5M357
2003
3. Blueprints for high availability
Author: Marcus, Evan
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic data processing - Distributed processing,، System design
Classification :
QA
76
.
9
.
D5
M357
2003
4. Blueprints for high availability : designing resilient distributed systems
Author: Evan Marcus, Hal Stern
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Electronic data processing -- Distributed processing,، System design
Classification :
QA
76
.
9
.
D5M3
5. Concepts for distributed systems design
Author: Bochmann, Gregor von
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic data processing - Distributed processing,، System design
Classification :
QA
76
.
9
.
D5
B64
1983
6. Designing distributed systems :
Author: Brendan Burns.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing-- Distributed processing.,System design.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing-- Distributed processing.,System design.
Classification :
QA76
.
9
.
D5
7. Distributed system design
Author: Wu, Jie
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic data processing-- Distributed processing,، System design
Classification :
QA
76
.
9
.
D5
.
W8
1998
8. Petri nets: fundamental models, verification, and applications
Author: edited by Michel Diaz
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Distributed processing ، Electronic data processing,، Parallel processing )Electronic computers(,، System design,، Petri nets
Classification :
QA
76
.
9
.
D5
R4713
9. Petri nets: fundamental models, verification, and applications
Author: edited by Michel Diaz
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic data processing - Distributed processing,، Parallel processing )Electronic computers(,، System design,، Petri nets
Classification :
QA
76
.
9
.
D5
R471
2009
10. Principles and applications of distributed event-based systems
Author: Annika M. Hinze and Alejandro Buchmann, ]editors[.
Library: Vali Asr University Central Library (Kerman)
Subject: Electronic data processing--Distributed processing,Application software--Development,System design,Sensor networks
Classification :
QA
76
.
9
.
D5P755
2010
11. Principles and applications of distributed event-based systems /
Author: Annika M. Hinze and Alejandro Buchmann, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development.,Electronic data processing-- Distributed processing.,Sensor networks.,System design.,Application software-- Development.,Electronic data processing-- Distributed processing.,Sensor networks.,System design.
Classification :
QA76
.
9
.
D5
P755
2010
12. <The> Formal Description Technique Lotos: Results of the ESPRIT/ SEDOS Project
Author:
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Electronic data processing- Distributed processind,ESPRIT/ SEDOS Project,System design
Classification :
QA
،
76
.
9
،.
D5
,
F65
،
1989
13. The Formal description technique Estelle: : results of the ESPRIT/SEDOS Project
Author: edited by Michel Diaz ... ]et al.[
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Electronic data processing- Distributed processing,، ESPRIT/SEDOS Project,، System design
Classification :
QA
76
.
9
.
D5F66
1989
14. Tools and algorithms for the construction and analysis of systems :
Author: Tiziana Margaria, Bernhard Steffen, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
15. Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS'96, Passau, Germany, March 27-29 : proceedings
Author: Tizina Margaria, Bernhard Steffen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
1055
16. Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995 : selected papers
Author: E. Brinksma ... )et al.(, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
V0l
.
1019
17. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
Author: Ed Brinksma )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
1217
